regular expression to dfa